Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
151	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
152	An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:03:23 Software engineering 2APL AgentSpeak Prolog Multi-agent systems Computing Artificial intelligence
153	An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:33:42 Software engineering 2APL AgentSpeak Prolog Multi-agent systems Computing Artificial intelligence
154	A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-05 13:08:28 Data types Functional languages Procedural programming languages Lisp programming language Functional programming List Cons ALGOL 68 Operational semantics Software engineering Computing Computer programming
155	2nd Wkshp. on Determinism & Correctness in Parallel Programming (WoDet), Newport Beach, CA, Mar[removed]Toward a Formal Semantic Framework for Deterministic Parallel Programming ∗ Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 17:50:55 Logic in computer science Programming language semantics Models of computation Causality Determinism Philosophy of science Operational semantics NP Parallel computing Theoretical computer science Applied mathematics Programming language theory
156	Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:26:21 Data types Lisp programming language Functional programming Logic in computer science Procedural programming languages List Cons Operational semantics Semantics Software engineering Computing Programming language theory
157	From Bytecode Logic to Certificate Generation for Grail Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh Joint work with D. Aspinall, L. Beringer, H-W. Loidl, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-26 09:57:10 Software engineering Computing Programming language semantics Operational semantics Functional programming Free variables and bound variables Logic programming Programming paradigms Theoretical computer science Logic in computer science
158	Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng With contributions from: Adam Cataldo, Jie Liu, Xiaojun Liu, Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2004-11-28 21:44:53 Calculus Continuous function State space Dynamical system Fourier analysis Dirac delta function Mathematical analysis Control theory Mathematics
159	Hybrid System Modeling: Operational Semantics Issues OMG Technical Meeting Feb. 4, 2004 Anaheim, CA, USA Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2004-02-06 20:38:42 Theoretical computer science Science Differential equations Dynamical systems Diagrams Finite-state machine Actor model Hybrid system SIGNAL Models of computation Computing Automata theory
160	Technical Report UCAM-CL-TR-453 ISSN[removed]Number 453 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-02-04 10:59:46 Applied mathematics Mathematics Denotational semantics Semantics of programming languages Operational semantics Axiomatic semantics Semantics Type safety Programming language Theoretical computer science Logic in computer science Programming language semantics

UPDATE